Nuprl Definition : int def
12,41
postcript
pdf
is Primitive
latex
origin
is Primitive is Primitive